Peter Schroeder-Heister: ค้นหาบนเว็บ Z-Library

ประตูสู่ความรู้และวัฒนธรรมสำหรับคุณ

Don't use scam websites

ตัวกรองที่กำลังใช้อยู่

ตรงกับคำค้นหาทุกประการ

ตรงกับคำค้นหาทุกประการ

1

Logik in der Philosophie (Philosophische Impulse Band 6)

Logik in der Philosophie (Philosophische Impulse Band 6)

Synchron Wissenschaftsverlag der Autoren

Wolfgang Spohn, Peter Schroeder-Heister, Erik J. Olsson

ปี:

2005

ภาษา:

german

ไฟล์:

DJVU, 7.12 MB

0 / 0

german, 2005

2

Substructural Logics

Substructural Logics

Clarendon Press

Peter Schroeder-Heister, Kosta Dosen

ปี:

1993

ภาษา:

english

ไฟล์:

DJVU, 3.12 MB

0 / 0

english, 1993

3

Zeichen, Kalkül, Wahrscheinlichkeit. Elemente einer Mathesis universalis bei Leibniz. (Pragmatik. Handbuch pragmatischen Denkens. Bd. 1. Pragmatisches Denken von den Ursprüngen bis zum 18. Jahrhundert, 392-414).

Zeichen, Kalkül, Wahrscheinlichkeit. Elemente einer Mathesis universalis bei Leibniz. (Pragmatik. Handbuch pragmatischen Denkens. Bd. 1. Pragmatisches Denken von den Ursprüngen bis zum 18. Jahrhundert, 392-414).

Jurgen Mittelstrass, Peter Schroeder-Heister

ปี:

1986

ภาษา:

german

ไฟล์:

PDF, 4.45 MB

0 / 0

german, 1986

4

Substructural Logics

Substructural Logics

Clarendon Press

Kosta Došen, Peter Schroeder-Heister

ปี:

1994

ภาษา:

english

ไฟล์:

DJVU, 3.70 MB

0 / 0

english, 1994

5

Extensions of Logic Programming: International Workshop Tübingen, FRG, December 8–10, 1989 Proceedings

Extensions of Logic Programming: International Workshop Tübingen, FRG, December 8–10, 1989 Proceedings

Springer-Verlag Berlin Heidelberg

Jean-Marc Andreoli, Remo Pareschi (auth.), Peter Schroeder-Heister (eds.)

ปี:

1991

ภาษา:

english

ไฟล์:

DJVU, 3.64 MB

0 / 0

english, 1991

6

Advances in Proof-Theoretic Semantics

Advances in Proof-Theoretic Semantics

Thomas Piecha, Peter Schroeder-Heister

ปี:

2015

ภาษา:

english

ไฟล์:

PDF, 2.68 MB

0 / 4.5

english, 2015

7

Extensions of Logic Programming: 5th International Workshop, ELP '96 Leipzig, Germany, March 28–30, 1996 Proceedings

Extensions of Logic Programming: 5th International Workshop, ELP '96 Leipzig, Germany, March 28–30, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Martin Argenius, Andrei Voronkov (auth.), Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister (eds.)

ปี:

1996

ภาษา:

english

ไฟล์:

DJVU, 2.75 MB

0 / 0

english, 1996

8

Enzyklopädie Philosophie und Wissenschaftstheorie: Band 1: A–B

Enzyklopädie Philosophie und Wissenschaftstheorie: Band 1: A–B

Gottfried Gabriel, Matthias Gatzemeier, Carl F. Gethmann, Peter Janich, Friedrich Kambartel, Kuno Lorenz, Klaus Mainzer, Peter Schroeder-Heister, Christian Thiel, Reiner Wimmer, Martin Carrier (auth.), Jürgen Mittelstraß (eds.)

ปี:

2005

ภาษา:

german

ไฟล์:

PDF, 60.84 MB

0 / 0

german, 2005

9

Advances in Proof-Theoretic Semantics

Advances in Proof-Theoretic Semantics

Thomas Piecha, Peter Schroeder-Heister

ปี:

2015

ภาษา:

english

ไฟล์:

PDF, 2.69 MB

0 / 0

english, 2015

10

The Logical Writings of Karl Popper

The Logical Writings of Karl Popper

Springer Nature

David Binder, Thomas Piecha, Peter Schroeder-Heister

ปี:

2022

ภาษา:

english

ไฟล์:

PDF, 7.33 MB

0 / 4.5

english, 2022

11

Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings

Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Klaus Aehlig, Jan Johannsen, Helmut Schwichtenberg (auth.), Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk (eds.)

ปี:

2001

ภาษา:

english

ไฟล์:

PDF, 2.52 MB

0 / 0

english, 2001

12

Advances in Proof-Theoretic Semantics

Advances in Proof-Theoretic Semantics

Springer International Publishing

Thomas Piecha, Peter Schroeder-Heister (eds.)

ปี:

2016

ภาษา:

english

ไฟล์:

PDF, 2.69 MB

0 / 0

english, 2016

13

Advances in Proof-Theoretic Semantics

Advances in Proof-Theoretic Semantics

Thomas Piecha, Peter Schroeder-Heister (eds.)

ปี:

2016

ภาษา:

english

ไฟล์:

PDF, 1.69 MB

0 / 0

english, 2016

14

Advances in proof-theoretic semantics

Advances in proof-theoretic semantics

Piecha, Thomas, Schroeder-Heister, Peter Joseph

ปี:

2016

ภาษา:

english

ไฟล์:

PDF, 2.68 MB

0 / 0

english, 2016

15

Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings

Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Klaus Aehlig, Jan Johannsen, Helmut Schwichtenberg (auth.), Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk (eds.)

ปี:

2001

ภาษา:

english

ไฟล์:

PDF, 1.73 MB

0 / 0

english, 2001

16

Advances in Proof-Theoretic Semantics

Advances in Proof-Theoretic Semantics

Thomas Piecha & Peter Schroeder-Heister [Piecha, Thomas & Schroeder-Heister, Peter]

ปี:

2015

ภาษา:

english

ไฟล์:

EPUB, 347 KB

0 / 0

english, 2015